a -> m b